Potsdam

Results: 3969



#Item
231

Towards Embedded Answer Set Solving Torsten Schaub University of Potsdam Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.

Add to Reading List

Source URL: www.cs.uni-potsdam.de

- Date: 2015-08-03 10:20:44
    232

    Progress in clasp series 3 M. Gebser1,3 , R. Kaminski3 , B. Kaufmann3 , J. Romero3 , and T. Schaub2,3? 1 Aalto University, HIIT

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    - Date: 2015-10-07 11:43:31
      233

      Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗ Universit¨at Potsdam, Germany Abstract We introduce a new approach to disjunctive ASP

      Add to Reading List

      Source URL: www.cs.uni-potsdam.de

      - Date: 2013-05-10 07:09:25
        234

        Hinweisblatt zum Formular für die Erklärung über die persönlichen und wirtschaftlichen Verhältnisse bei Prozess- oder Verfahrenskostenhilfe – Bitte bewahren Sie dieses Hinweisblatt und eine Kopie des ausgefüllten

        Add to Reading List

        Source URL: www.vg-potsdam.brandenburg.de

        - Date: 2014-02-03 03:50:20
          235

          Call for Applications: Fellowships with the Berlin Potsdam Research Group "The International Rule of Law – Rise or Decline?" Position: 3 Fellowships in International Law or International Relations Duration: 12-24 mont

          Add to Reading List

          Source URL: nolte.rewi.hu-berlin.de

          - Date: 2016-12-07 07:51:21
            236

            Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            - Date: 2012-06-27 10:05:03
              237

              OFFENER BRIEF der Bürgerinitiative für ein Potsdam ohne Garnisonkirche

              Add to Reading List

              Source URL: ohnegarnisonkirche.files.wordpress.com

              - Date: 2014-10-31 07:28:08
                238

                Advanced Preprocessing for Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andr´e Neumann and Torsten Schaub1 2 Abstract. We introduce the first substantial approach to preprocessing in the context of answer

                Add to Reading List

                Source URL: www.cs.uni-potsdam.de

                - Date: 2008-09-30 12:52:10
                  239

                  OFFENER BRIEF der Bürgerinitiative für ein Potsdam ohne Garnisonkirche

                  Add to Reading List

                  Source URL: buergerbegehrengarnisonkirche.files.wordpress.com

                  - Date: 2014-06-19 06:06:51
                    240

                    Answer Set Programming modulo Acyclicity ? Jori Bomanson1 , Martin Gebser1,2 , Tomi Janhunen1 , Benjamin Kaufmann2 , and Torsten Schaub2,3?? 1 2

                    Add to Reading List

                    Source URL: www.cs.uni-potsdam.de

                    - Date: 2015-10-07 13:53:07
                      UPDATE